DisCSP.Exception
Class UnknownVariableException

java.lang.Object
  java.lang.Throwable
      java.lang.Exception
          DisCSP.Exception.UnknownVariableException

All Implemented Interfaces:

java.io.Serializable

public class UnknownVariableException

extends java.lang.Exception

See Also:

Serialized Form

Field Summary

Fields inherited from class java.lang.Exception

Constructor Summary

UnknownVariableException()
Costruttore di UnknownVariableException

UnknownVariableException(java.lang.String var)
Costruttore di UnknownVariableException

Methods inherited from class java.lang.Throwable

fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

UnknownVariableException

public UnknownVariableException()

Costruttore di UnknownVariableException

UnknownVariableException

public UnknownVariableException(java.lang.String var)

Costruttore di UnknownVariableException

Parameters:

var - il nome della variabile su cui si è tentato di inserire un vincolo senza averla definita